Home
About
Cn
Dn
Sn
An
Degree
Linear
Irr Reps
Characters
x
:
.
o
wr

Extensions 1→N→G→Q→1 with N=C4:Dic5 and Q=C22

Direct product G=NxQ with N=C4:Dic5 and Q=C22
dρLabelID
C22xC4:Dic5320C2^2xC4:Dic5320,1457

Semidirect products G=N:Q with N=C4:Dic5 and Q=C22
extensionφ:Q→Out NdρLabelID
C4:Dic5:1C22 = D20.31D4φ: C22/C1 → C22 ⊆ Out C4:Dic580C4:Dic5:1C2^2320,358
C4:Dic5:2C22 = D20:13D4φ: C22/C1 → C22 ⊆ Out C4:Dic580C4:Dic5:2C2^2320,359
C4:Dic5:3C22 = C23:2Dic10φ: C22/C1 → C22 ⊆ Out C4:Dic580C4:Dic5:3C2^2320,1155
C4:Dic5:4C22 = C24.27D10φ: C22/C1 → C22 ⊆ Out C4:Dic580C4:Dic5:4C2^2320,1162
C4:Dic5:5C22 = C23:3D20φ: C22/C1 → C22 ⊆ Out C4:Dic580C4:Dic5:5C2^2320,1165
C4:Dic5:6C22 = C24.30D10φ: C22/C1 → C22 ⊆ Out C4:Dic580C4:Dic5:6C2^2320,1166
C4:Dic5:7C22 = C24.31D10φ: C22/C1 → C22 ⊆ Out C4:Dic580C4:Dic5:7C2^2320,1167
C4:Dic5:8C22 = D4:5D20φ: C22/C1 → C22 ⊆ Out C4:Dic580C4:Dic5:8C2^2320,1226
C4:Dic5:9C22 = C42:16D10φ: C22/C1 → C22 ⊆ Out C4:Dic580C4:Dic5:9C2^2320,1228
C4:Dic5:10C22 = C42:17D10φ: C22/C1 → C22 ⊆ Out C4:Dic580C4:Dic5:10C2^2320,1232
C4:Dic5:11C22 = C10.372+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic580C4:Dic5:11C2^2320,1277
C4:Dic5:12C22 = C10.462+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic580C4:Dic5:12C2^2320,1289
C4:Dic5:13C22 = C10.482+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic580C4:Dic5:13C2^2320,1292
C4:Dic5:14C22 = C10.562+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic580C4:Dic5:14C2^2320,1316
C4:Dic5:15C22 = C10.612+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic580C4:Dic5:15C2^2320,1329
C4:Dic5:16C22 = C10.682+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic580C4:Dic5:16C2^2320,1338
C4:Dic5:17C22 = D5xD4:C4φ: C22/C1 → C22 ⊆ Out C4:Dic580C4:Dic5:17C2^2320,396
C4:Dic5:18C22 = (D4xD5):C4φ: C22/C1 → C22 ⊆ Out C4:Dic580C4:Dic5:18C2^2320,397
C4:Dic5:19C22 = D20:D4φ: C22/C1 → C22 ⊆ Out C4:Dic580C4:Dic5:19C2^2320,783
C4:Dic5:20C22 = D10:6SD16φ: C22/C1 → C22 ⊆ Out C4:Dic580C4:Dic5:20C2^2320,796
C4:Dic5:21C22 = (C2xC10):8D8φ: C22/C1 → C22 ⊆ Out C4:Dic580C4:Dic5:21C2^2320,844
C4:Dic5:22C22 = (C5xD4).31D4φ: C22/C1 → C22 ⊆ Out C4:Dic580C4:Dic5:22C2^2320,845
C4:Dic5:23C22 = C24.56D10φ: C22/C1 → C22 ⊆ Out C4:Dic580C4:Dic5:23C2^2320,1258
C4:Dic5:24C22 = C24.32D10φ: C22/C1 → C22 ⊆ Out C4:Dic580C4:Dic5:24C2^2320,1259
C4:Dic5:25C22 = C24:3D10φ: C22/C1 → C22 ⊆ Out C4:Dic580C4:Dic5:25C2^2320,1261
C4:Dic5:26C22 = C24.33D10φ: C22/C1 → C22 ⊆ Out C4:Dic580C4:Dic5:26C2^2320,1263
C4:Dic5:27C22 = C24.35D10φ: C22/C1 → C22 ⊆ Out C4:Dic580C4:Dic5:27C2^2320,1265
C4:Dic5:28C22 = C24.36D10φ: C22/C1 → C22 ⊆ Out C4:Dic580C4:Dic5:28C2^2320,1267
C4:Dic5:29C22 = D5xC4:D4φ: C22/C1 → C22 ⊆ Out C4:Dic580C4:Dic5:29C2^2320,1276
C4:Dic5:30C22 = C4:C4:21D10φ: C22/C1 → C22 ⊆ Out C4:Dic580C4:Dic5:30C2^2320,1278
C4:Dic5:31C22 = C10.382+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic580C4:Dic5:31C2^2320,1279
C4:Dic5:32C22 = D20:20D4φ: C22/C1 → C22 ⊆ Out C4:Dic580C4:Dic5:32C2^2320,1284
C4:Dic5:33C22 = C10.422+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic580C4:Dic5:33C2^2320,1285
C4:Dic5:34C22 = D5xC22:Q8φ: C22/C1 → C22 ⊆ Out C4:Dic580C4:Dic5:34C2^2320,1298
C4:Dic5:35C22 = C4:C4:26D10φ: C22/C1 → C22 ⊆ Out C4:Dic580C4:Dic5:35C2^2320,1299
C4:Dic5:36C22 = C10.512+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic580C4:Dic5:36C2^2320,1306
C4:Dic5:37C22 = C10.532+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic580C4:Dic5:37C2^2320,1309
C4:Dic5:38C22 = D5xC22.D4φ: C22/C1 → C22 ⊆ Out C4:Dic580C4:Dic5:38C2^2320,1324
C4:Dic5:39C22 = C10.1222+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic580C4:Dic5:39C2^2320,1330
C4:Dic5:40C22 = C10.622+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic580C4:Dic5:40C2^2320,1331
C4:Dic5:41C22 = C42:20D10φ: C22/C1 → C22 ⊆ Out C4:Dic580C4:Dic5:41C2^2320,1350
C4:Dic5:42C22 = C42:21D10φ: C22/C1 → C22 ⊆ Out C4:Dic580C4:Dic5:42C2^2320,1351
C4:Dic5:43C22 = D5xC42:2C2φ: C22/C1 → C22 ⊆ Out C4:Dic580C4:Dic5:43C2^2320,1375
C4:Dic5:44C22 = D4xC5:D4φ: C22/C1 → C22 ⊆ Out C4:Dic580C4:Dic5:44C2^2320,1473
C4:Dic5:45C22 = C24.42D10φ: C22/C1 → C22 ⊆ Out C4:Dic580C4:Dic5:45C2^2320,1478
C4:Dic5:46C22 = C10.1452+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic580C4:Dic5:46C2^2320,1501
C4:Dic5:47C22 = C2xD20:5C4φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5:47C2^2320,739
C4:Dic5:48C22 = C23.48D20φ: C22/C2 → C2 ⊆ Out C4:Dic580C4:Dic5:48C2^2320,758
C4:Dic5:49C22 = C2xDic5.14D4φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5:49C2^2320,1153
C4:Dic5:50C22 = C2xC23.D10φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5:50C2^2320,1154
C4:Dic5:51C22 = C2xD10.12D4φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5:51C2^2320,1160
C4:Dic5:52C22 = C2xC22.D20φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5:52C2^2320,1164
C4:Dic5:53C22 = C2xD10:2Q8φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5:53C2^2320,1181
C4:Dic5:54C22 = C2xC4:C4:D5φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5:54C2^2320,1184
C4:Dic5:55C22 = C42:8D10φ: C22/C2 → C2 ⊆ Out C4:Dic580C4:Dic5:55C2^2320,1196
C4:Dic5:56C22 = C42:10D10φ: C22/C2 → C2 ⊆ Out C4:Dic580C4:Dic5:56C2^2320,1199
C4:Dic5:57C22 = C42:12D10φ: C22/C2 → C2 ⊆ Out C4:Dic580C4:Dic5:57C2^2320,1219
C4:Dic5:58C22 = D4xD20φ: C22/C2 → C2 ⊆ Out C4:Dic580C4:Dic5:58C2^2320,1221
C4:Dic5:59C22 = D20:23D4φ: C22/C2 → C2 ⊆ Out C4:Dic580C4:Dic5:59C2^2320,1222
C4:Dic5:60C22 = D20:10D4φ: C22/C2 → C2 ⊆ Out C4:Dic580C4:Dic5:60C2^2320,1348
C4:Dic5:61C22 = C42:23D10φ: C22/C2 → C2 ⊆ Out C4:Dic580C4:Dic5:61C2^2320,1376
C4:Dic5:62C22 = C42:24D10φ: C22/C2 → C2 ⊆ Out C4:Dic580C4:Dic5:62C2^2320,1377
C4:Dic5:63C22 = C2xC20.48D4φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5:63C2^2320,1456
C4:Dic5:64C22 = C2xC20:7D4φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5:64C2^2320,1462
C4:Dic5:65C22 = C24.72D10φ: C22/C2 → C2 ⊆ Out C4:Dic580C4:Dic5:65C2^2320,1463
C4:Dic5:66C22 = C10.1462+ 1+4φ: C22/C2 → C2 ⊆ Out C4:Dic580C4:Dic5:66C2^2320,1502
C4:Dic5:67C22 = C2xD4:Dic5φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5:67C2^2320,841
C4:Dic5:68C22 = (D4xC10):18C4φ: C22/C2 → C2 ⊆ Out C4:Dic580C4:Dic5:68C2^2320,842
C4:Dic5:69C22 = C2xD5xC4:C4φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5:69C2^2320,1173
C4:Dic5:70C22 = C2xC4:C4:7D5φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5:70C2^2320,1174
C4:Dic5:71C22 = D5xC42:C2φ: C22/C2 → C2 ⊆ Out C4:Dic580C4:Dic5:71C2^2320,1192
C4:Dic5:72C22 = C4xD4xD5φ: C22/C2 → C2 ⊆ Out C4:Dic580C4:Dic5:72C2^2320,1216
C4:Dic5:73C22 = C42:11D10φ: C22/C2 → C2 ⊆ Out C4:Dic580C4:Dic5:73C2^2320,1217
C4:Dic5:74C22 = D20:11D4φ: C22/C2 → C2 ⊆ Out C4:Dic580C4:Dic5:74C2^2320,1389
C4:Dic5:75C22 = C2xD4xDic5φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5:75C2^2320,1467
C4:Dic5:76C22 = C24.38D10φ: C22/C2 → C2 ⊆ Out C4:Dic580C4:Dic5:76C2^2320,1470
C4:Dic5:77C22 = C2xC20:2D4φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5:77C2^2320,1472
C4:Dic5:78C22 = C24.41D10φ: C22/C2 → C2 ⊆ Out C4:Dic580C4:Dic5:78C2^2320,1477
C4:Dic5:79C22 = C2xD10:3Q8φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5:79C2^2320,1485
C4:Dic5:80C22 = (C2xC20):15D4φ: C22/C2 → C2 ⊆ Out C4:Dic580C4:Dic5:80C2^2320,1500
C4:Dic5:81C22 = C2xC4xD20φ: trivial image160C4:Dic5:81C2^2320,1145
C4:Dic5:82C22 = C42:7D10φ: trivial image80C4:Dic5:82C2^2320,1193
C4:Dic5:83C22 = C2xC23.21D10φ: trivial image160C4:Dic5:83C2^2320,1458

Non-split extensions G=N.Q with N=C4:Dic5 and Q=C22
extensionφ:Q→Out NdρLabelID
C4:Dic5.1C22 = C40:9Q8φ: C22/C1 → C22 ⊆ Out C4:Dic5320C4:Dic5.1C2^2320,307
C4:Dic5.2C22 = C20.14Q16φ: C22/C1 → C22 ⊆ Out C4:Dic5320C4:Dic5.2C2^2320,308
C4:Dic5.3C22 = C40:8Q8φ: C22/C1 → C22 ⊆ Out C4:Dic5320C4:Dic5.3C2^2320,309
C4:Dic5.4C22 = C40.13Q8φ: C22/C1 → C22 ⊆ Out C4:Dic5320C4:Dic5.4C2^2320,310
C4:Dic5.5C22 = C4.5D40φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.5C2^2320,321
C4:Dic5.6C22 = C42.264D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.6C2^2320,324
C4:Dic5.7C22 = C8:Dic10φ: C22/C1 → C22 ⊆ Out C4:Dic5320C4:Dic5.7C2^2320,329
C4:Dic5.8C22 = C42.14D10φ: C22/C1 → C22 ⊆ Out C4:Dic5320C4:Dic5.8C2^2320,330
C4:Dic5.9C22 = C42.19D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.9C2^2320,340
C4:Dic5.10C22 = C42.20D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.10C2^2320,341
C4:Dic5.11C22 = C23.35D20φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.11C2^2320,349
C4:Dic5.12C22 = D20.32D4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.12C2^2320,360
C4:Dic5.13C22 = D20:14D4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.13C2^2320,361
C4:Dic5.14C22 = C23.13D20φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.14C2^2320,364
C4:Dic5.15C22 = Dic10:14D4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.15C2^2320,365
C4:Dic5.16C22 = C22:Dic20φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.16C2^2320,366
C4:Dic5.17C22 = Dic10.3Q8φ: C22/C1 → C22 ⊆ Out C4:Dic5320C4:Dic5.17C2^2320,456
C4:Dic5.18C22 = D20:3Q8φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.18C2^2320,469
C4:Dic5.19C22 = D20:4Q8φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.19C2^2320,473
C4:Dic5.20C22 = D20.3Q8φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.20C2^2320,474
C4:Dic5.21C22 = C20.7Q16φ: C22/C1 → C22 ⊆ Out C4:Dic5320C4:Dic5.21C2^2320,477
C4:Dic5.22C22 = Dic10:4Q8φ: C22/C1 → C22 ⊆ Out C4:Dic5320C4:Dic5.22C2^2320,478
C4:Dic5.23C22 = C40:30D4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.23C2^2320,741
C4:Dic5.24C22 = C40:29D4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.24C2^2320,742
C4:Dic5.25C22 = C40.82D4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.25C2^2320,743
C4:Dic5.26C22 = C40:2D4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.26C2^2320,761
C4:Dic5.27C22 = C40:3D4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.27C2^2320,762
C4:Dic5.28C22 = C40.4D4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.28C2^2320,764
C4:Dic5.29C22 = C10.2+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.29C2^2320,1182
C4:Dic5.30C22 = C10.62- 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.30C2^2320,1187
C4:Dic5.31C22 = C42.89D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.31C2^2320,1190
C4:Dic5.32C22 = C42.90D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.32C2^2320,1191
C4:Dic5.33C22 = C42.92D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.33C2^2320,1198
C4:Dic5.34C22 = C42.94D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.34C2^2320,1201
C4:Dic5.35C22 = C42.96D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.35C2^2320,1203
C4:Dic5.36C22 = C42.99D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.36C2^2320,1206
C4:Dic5.37C22 = D4:5Dic10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.37C2^2320,1211
C4:Dic5.38C22 = C42.104D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.38C2^2320,1212
C4:Dic5.39C22 = D4:6D20φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.39C2^2320,1227
C4:Dic5.40C22 = C42.115D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.40C2^2320,1233
C4:Dic5.41C22 = C42.118D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.41C2^2320,1236
C4:Dic5.42C22 = Dic10:10Q8φ: C22/C1 → C22 ⊆ Out C4:Dic5320C4:Dic5.42C2^2320,1239
C4:Dic5.43C22 = Q8:6Dic10φ: C22/C1 → C22 ⊆ Out C4:Dic5320C4:Dic5.43C2^2320,1242
C4:Dic5.44C22 = C10.682- 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.44C2^2320,1269
C4:Dic5.45C22 = C10.352+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.45C2^2320,1274
C4:Dic5.46C22 = C10.742- 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.46C2^2320,1293
C4:Dic5.47C22 = C10.502+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.47C2^2320,1295
C4:Dic5.48C22 = C10.262- 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.48C2^2320,1319
C4:Dic5.49C22 = C10.842- 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.49C2^2320,1334
C4:Dic5.50C22 = C42.140D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.50C2^2320,1344
C4:Dic5.51C22 = C42.141D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.51C2^2320,1347
C4:Dic5.52C22 = C42.145D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.52C2^2320,1356
C4:Dic5.53C22 = C42.159D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.53C2^2320,1373
C4:Dic5.54C22 = C42.161D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.54C2^2320,1379
C4:Dic5.55C22 = C42.165D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.55C2^2320,1384
C4:Dic5.56C22 = Dic5:4D8φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.56C2^2320,383
C4:Dic5.57C22 = D4.D5:5C4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.57C2^2320,384
C4:Dic5.58C22 = Dic5:6SD16φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.58C2^2320,385
C4:Dic5.59C22 = Dic5.14D8φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.59C2^2320,386
C4:Dic5.60C22 = Dic5.5D8φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.60C2^2320,387
C4:Dic5.61C22 = D4:Dic10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.61C2^2320,388
C4:Dic5.62C22 = D4.Dic10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.62C2^2320,390
C4:Dic5.63C22 = C4:C4.D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.63C2^2320,391
C4:Dic5.64C22 = C20:Q8:C2φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.64C2^2320,392
C4:Dic5.65C22 = D4.2Dic10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.65C2^2320,393
C4:Dic5.66C22 = (C8xDic5):C2φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.66C2^2320,395
C4:Dic5.67C22 = D4:(C4xD5)φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.67C2^2320,398
C4:Dic5.68C22 = D4:2D5:C4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.68C2^2320,399
C4:Dic5.69C22 = D10.12D8φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.69C2^2320,401
C4:Dic5.70C22 = D10:D8φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.70C2^2320,402
C4:Dic5.71C22 = D10.16SD16φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.71C2^2320,404
C4:Dic5.72C22 = D10:SD16φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.72C2^2320,405
C4:Dic5.73C22 = C40:6C4:C2φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.73C2^2320,406
C4:Dic5.74C22 = C5:2C8:D4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.74C2^2320,407
C4:Dic5.75C22 = C5:(C8:2D4)φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.75C2^2320,409
C4:Dic5.76C22 = C40:5C4:C2φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.76C2^2320,411
C4:Dic5.77C22 = D4:D5:6C4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.77C2^2320,412
C4:Dic5.78C22 = Dic5:7SD16φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.78C2^2320,415
C4:Dic5.79C22 = C5:Q16:5C4φ: C22/C1 → C22 ⊆ Out C4:Dic5320C4:Dic5.79C2^2320,416
C4:Dic5.80C22 = Dic5:4Q16φ: C22/C1 → C22 ⊆ Out C4:Dic5320C4:Dic5.80C2^2320,417
C4:Dic5.81C22 = Q8:Dic10φ: C22/C1 → C22 ⊆ Out C4:Dic5320C4:Dic5.81C2^2320,418
C4:Dic5.82C22 = Dic5.3Q16φ: C22/C1 → C22 ⊆ Out C4:Dic5320C4:Dic5.82C2^2320,419
C4:Dic5.83C22 = Dic5.9Q16φ: C22/C1 → C22 ⊆ Out C4:Dic5320C4:Dic5.83C2^2320,421
C4:Dic5.84C22 = Q8:C4:D5φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.84C2^2320,422
C4:Dic5.85C22 = Q8.Dic10φ: C22/C1 → C22 ⊆ Out C4:Dic5320C4:Dic5.85C2^2320,423
C4:Dic5.86C22 = C40:8C4.C2φ: C22/C1 → C22 ⊆ Out C4:Dic5320C4:Dic5.86C2^2320,424
C4:Dic5.87C22 = Q8.2Dic10φ: C22/C1 → C22 ⊆ Out C4:Dic5320C4:Dic5.87C2^2320,426
C4:Dic5.88C22 = Q8:Dic5:C2φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.88C2^2320,427
C4:Dic5.89C22 = D5xQ8:C4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.89C2^2320,428
C4:Dic5.90C22 = (Q8xD5):C4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.90C2^2320,429
C4:Dic5.91C22 = Q8:(C4xD5)φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.91C2^2320,430
C4:Dic5.92C22 = Q8:2D5:C4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.92C2^2320,431
C4:Dic5.93C22 = D10.11SD16φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.93C2^2320,432
C4:Dic5.94C22 = D10:2SD16φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.94C2^2320,434
C4:Dic5.95C22 = D10.7Q16φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.95C2^2320,436
C4:Dic5.96C22 = C5:(C8:D4)φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.96C2^2320,439
C4:Dic5.97C22 = D10:Q16φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.97C2^2320,440
C4:Dic5.98C22 = (C2xC8).D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.98C2^2320,441
C4:Dic5.99C22 = D10:1C8.C2φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.99C2^2320,442
C4:Dic5.100C22 = C5:2C8.D4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.100C2^2320,443
C4:Dic5.101C22 = Q8:D5:6C4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.101C2^2320,444
C4:Dic5.102C22 = Dic10:Q8φ: C22/C1 → C22 ⊆ Out C4:Dic5320C4:Dic5.102C2^2320,481
C4:Dic5.103C22 = C40:5Q8φ: C22/C1 → C22 ⊆ Out C4:Dic5320C4:Dic5.103C2^2320,482
C4:Dic5.104C22 = C40:3Q8φ: C22/C1 → C22 ⊆ Out C4:Dic5320C4:Dic5.104C2^2320,483
C4:Dic5.105C22 = Dic10.Q8φ: C22/C1 → C22 ⊆ Out C4:Dic5320C4:Dic5.105C2^2320,484
C4:Dic5.106C22 = C8.8Dic10φ: C22/C1 → C22 ⊆ Out C4:Dic5320C4:Dic5.106C2^2320,485
C4:Dic5.107C22 = D5xC4.Q8φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.107C2^2320,486
C4:Dic5.108C22 = (C8xD5):C4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.108C2^2320,487
C4:Dic5.109C22 = C8:(C4xD5)φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.109C2^2320,488
C4:Dic5.110C22 = D10.12SD16φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.110C2^2320,489
C4:Dic5.111C22 = D10.17SD16φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.111C2^2320,490
C4:Dic5.112C22 = C4.Q8:D5φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.112C2^2320,493
C4:Dic5.113C22 = C20.(C4oD4)φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.113C2^2320,494
C4:Dic5.114C22 = D20:Q8φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.114C2^2320,497
C4:Dic5.115C22 = D20.Q8φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.115C2^2320,498
C4:Dic5.116C22 = C40:2Q8φ: C22/C1 → C22 ⊆ Out C4:Dic5320C4:Dic5.116C2^2320,501
C4:Dic5.117C22 = Dic10:2Q8φ: C22/C1 → C22 ⊆ Out C4:Dic5320C4:Dic5.117C2^2320,502
C4:Dic5.118C22 = C40:4Q8φ: C22/C1 → C22 ⊆ Out C4:Dic5320C4:Dic5.118C2^2320,503
C4:Dic5.119C22 = Dic10.2Q8φ: C22/C1 → C22 ⊆ Out C4:Dic5320C4:Dic5.119C2^2320,504
C4:Dic5.120C22 = C8.6Dic10φ: C22/C1 → C22 ⊆ Out C4:Dic5320C4:Dic5.120C2^2320,505
C4:Dic5.121C22 = D5xC2.D8φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.121C2^2320,506
C4:Dic5.122C22 = C8.27(C4xD5)φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.122C2^2320,507
C4:Dic5.123C22 = C40:20(C2xC4)φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.123C2^2320,508
C4:Dic5.124C22 = D10.13D8φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.124C2^2320,509
C4:Dic5.125C22 = D10.8Q16φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.125C2^2320,511
C4:Dic5.126C22 = C2.D8:D5φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.126C2^2320,512
C4:Dic5.127C22 = C2.D8:7D5φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.127C2^2320,515
C4:Dic5.128C22 = D20:2Q8φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.128C2^2320,517
C4:Dic5.129C22 = D20.2Q8φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.129C2^2320,518
C4:Dic5.130C22 = (C2xC10).40D8φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.130C2^2320,594
C4:Dic5.131C22 = C4:C4.228D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.131C2^2320,595
C4:Dic5.132C22 = C4:C4.230D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.132C2^2320,597
C4:Dic5.133C22 = C4:C4.231D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.133C2^2320,598
C4:Dic5.134C22 = C4:C4.233D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.134C2^2320,623
C4:Dic5.135C22 = C4:C4.236D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.135C2^2320,630
C4:Dic5.136C22 = C20.50D8φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.136C2^2320,634
C4:Dic5.137C22 = C20.38SD16φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.137C2^2320,635
C4:Dic5.138C22 = D4.3Dic10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.138C2^2320,636
C4:Dic5.139C22 = C20.48SD16φ: C22/C1 → C22 ⊆ Out C4:Dic5320C4:Dic5.139C2^2320,647
C4:Dic5.140C22 = C20.23Q16φ: C22/C1 → C22 ⊆ Out C4:Dic5320C4:Dic5.140C2^2320,648
C4:Dic5.141C22 = Q8.3Dic10φ: C22/C1 → C22 ⊆ Out C4:Dic5320C4:Dic5.141C2^2320,649
C4:Dic5.142C22 = (C2xC10):D8φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.142C2^2320,665
C4:Dic5.143C22 = C4:D4:D5φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.143C2^2320,666
C4:Dic5.144C22 = C5:2C8:23D4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.144C2^2320,668
C4:Dic5.145C22 = C4.(D4xD5)φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.145C2^2320,669
C4:Dic5.146C22 = C5:2C8:24D4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.146C2^2320,675
C4:Dic5.147C22 = C22:Q8:D5φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.147C2^2320,676
C4:Dic5.148C22 = (C2xC10):Q16φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.148C2^2320,678
C4:Dic5.149C22 = C5:(C8.D4)φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.149C2^2320,679
C4:Dic5.150C22 = C42.62D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.150C2^2320,682
C4:Dic5.151C22 = C42.213D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.151C2^2320,683
C4:Dic5.152C22 = C42.215D10φ: C22/C1 → C22 ⊆ Out C4:Dic5320C4:Dic5.152C2^2320,691
C4:Dic5.153C22 = C42.68D10φ: C22/C1 → C22 ⊆ Out C4:Dic5320C4:Dic5.153C2^2320,692
C4:Dic5.154C22 = C20.16D8φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.154C2^2320,697
C4:Dic5.155C22 = C42.72D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.155C2^2320,698
C4:Dic5.156C22 = C20.17D8φ: C22/C1 → C22 ⊆ Out C4:Dic5320C4:Dic5.156C2^2320,705
C4:Dic5.157C22 = C20.SD16φ: C22/C1 → C22 ⊆ Out C4:Dic5320C4:Dic5.157C2^2320,706
C4:Dic5.158C22 = C42.76D10φ: C22/C1 → C22 ⊆ Out C4:Dic5320C4:Dic5.158C2^2320,707
C4:Dic5.159C22 = C20.Q16φ: C22/C1 → C22 ⊆ Out C4:Dic5320C4:Dic5.159C2^2320,708
C4:Dic5.160C22 = C42.77D10φ: C22/C1 → C22 ⊆ Out C4:Dic5320C4:Dic5.160C2^2320,709
C4:Dic5.161C22 = D8xDic5φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.161C2^2320,776
C4:Dic5.162C22 = Dic5:D8φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.162C2^2320,777
C4:Dic5.163C22 = D8:Dic5φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.163C2^2320,779
C4:Dic5.164C22 = (C2xD8).D5φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.164C2^2320,780
C4:Dic5.165C22 = C40:6D4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.165C2^2320,784
C4:Dic5.166C22 = Dic10:D4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.166C2^2320,785
C4:Dic5.167C22 = C40:12D4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.167C2^2320,786
C4:Dic5.168C22 = SD16xDic5φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.168C2^2320,788
C4:Dic5.169C22 = Dic5:3SD16φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.169C2^2320,789
C4:Dic5.170C22 = Dic5:5SD16φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.170C2^2320,790
C4:Dic5.171C22 = SD16:Dic5φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.171C2^2320,791
C4:Dic5.172C22 = (C5xD4).D4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.172C2^2320,792
C4:Dic5.173C22 = (C5xQ8).D4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.173C2^2320,793
C4:Dic5.174C22 = D10:8SD16φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.174C2^2320,797
C4:Dic5.175C22 = C40:14D4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.175C2^2320,798
C4:Dic5.176C22 = D20:7D4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.176C2^2320,799
C4:Dic5.177C22 = Dic10.16D4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.177C2^2320,800
C4:Dic5.178C22 = C40:8D4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.178C2^2320,801
C4:Dic5.179C22 = Dic5:3Q16φ: C22/C1 → C22 ⊆ Out C4:Dic5320C4:Dic5.179C2^2320,809
C4:Dic5.180C22 = Q16xDic5φ: C22/C1 → C22 ⊆ Out C4:Dic5320C4:Dic5.180C2^2320,810
C4:Dic5.181C22 = Q16:Dic5φ: C22/C1 → C22 ⊆ Out C4:Dic5320C4:Dic5.181C2^2320,811
C4:Dic5.182C22 = (C2xQ16):D5φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.182C2^2320,812
C4:Dic5.183C22 = D10:5Q16φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.183C2^2320,813
C4:Dic5.184C22 = D20.17D4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.184C2^2320,814
C4:Dic5.185C22 = D10:3Q16φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.185C2^2320,815
C4:Dic5.186C22 = C40.36D4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.186C2^2320,816
C4:Dic5.187C22 = (C5xQ8):13D4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.187C2^2320,854
C4:Dic5.188C22 = (C2xC10):8Q16φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.188C2^2320,855
C4:Dic5.189C22 = (C5xD4):14D4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.189C2^2320,865
C4:Dic5.190C22 = (C5xD4).32D4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.190C2^2320,866
C4:Dic5.191C22 = C10.2- 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.191C2^2320,1179
C4:Dic5.192C22 = C10.102+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.192C2^2320,1183
C4:Dic5.193C22 = C10.52- 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.193C2^2320,1185
C4:Dic5.194C22 = C10.112+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.194C2^2320,1186
C4:Dic5.195C22 = C42.95D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.195C2^2320,1202
C4:Dic5.196C22 = C42.97D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.196C2^2320,1204
C4:Dic5.197C22 = D4xDic10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.197C2^2320,1209
C4:Dic5.198C22 = D4:6Dic10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.198C2^2320,1215
C4:Dic5.199C22 = D20:24D4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.199C2^2320,1223
C4:Dic5.200C22 = C42.113D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.200C2^2320,1230
C4:Dic5.201C22 = Q8xDic10φ: C22/C1 → C22 ⊆ Out C4:Dic5320C4:Dic5.201C2^2320,1238
C4:Dic5.202C22 = D20:10Q8φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.202C2^2320,1251
C4:Dic5.203C22 = C20:(C4oD4)φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.203C2^2320,1268
C4:Dic5.204C22 = Dic10:19D4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.204C2^2320,1270
C4:Dic5.205C22 = C4:C4.178D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.205C2^2320,1272
C4:Dic5.206C22 = C10.342+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.206C2^2320,1273
C4:Dic5.207C22 = C10.392+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.207C2^2320,1280
C4:Dic5.208C22 = C10.442+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.208C2^2320,1287
C4:Dic5.209C22 = C10.1152+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.209C2^2320,1290
C4:Dic5.210C22 = C10.472+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.210C2^2320,1291
C4:Dic5.211C22 = (Q8xDic5):C2φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.211C2^2320,1294
C4:Dic5.212C22 = C22:Q8:25D5φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.212C2^2320,1296
C4:Dic5.213C22 = C10.162- 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.213C2^2320,1300
C4:Dic5.214C22 = C10.172- 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.214C2^2320,1301
C4:Dic5.215C22 = D20:22D4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.215C2^2320,1303
C4:Dic5.216C22 = Dic10:21D4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.216C2^2320,1304
C4:Dic5.217C22 = C10.522+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.217C2^2320,1308
C4:Dic5.218C22 = C10.202- 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.218C2^2320,1310
C4:Dic5.219C22 = C10.222- 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.219C2^2320,1312
C4:Dic5.220C22 = C10.772- 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.220C2^2320,1314
C4:Dic5.221C22 = C10.572+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.221C2^2320,1317
C4:Dic5.222C22 = C10.582+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.222C2^2320,1318
C4:Dic5.223C22 = C10.792- 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.223C2^2320,1320
C4:Dic5.224C22 = C4:C4.197D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.224C2^2320,1321
C4:Dic5.225C22 = C10.802- 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.225C2^2320,1322
C4:Dic5.226C22 = C10.812- 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.226C2^2320,1323
C4:Dic5.227C22 = C10.822- 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.227C2^2320,1327
C4:Dic5.228C22 = C10.632+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.228C2^2320,1332
C4:Dic5.229C22 = C10.642+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.229C2^2320,1333
C4:Dic5.230C22 = C10.662+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.230C2^2320,1335
C4:Dic5.231C22 = C10.692+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.231C2^2320,1339
C4:Dic5.232C22 = C42.137D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.232C2^2320,1341
C4:Dic5.233C22 = C42.139D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.233C2^2320,1343
C4:Dic5.234C22 = C42.234D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.234C2^2320,1352
C4:Dic5.235C22 = C42.143D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.235C2^2320,1353
C4:Dic5.236C22 = C42.144D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.236C2^2320,1354
C4:Dic5.237C22 = C42.147D10φ: C22/C1 → C22 ⊆ Out C4:Dic5320C4:Dic5.237C2^2320,1358
C4:Dic5.238C22 = D5xC42.C2φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.238C2^2320,1359
C4:Dic5.239C22 = C42.236D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.239C2^2320,1360
C4:Dic5.240C22 = C42.148D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.240C2^2320,1361
C4:Dic5.241C22 = C42.237D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.241C2^2320,1363
C4:Dic5.242C22 = C42.151D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.242C2^2320,1365
C4:Dic5.243C22 = C42.152D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.243C2^2320,1366
C4:Dic5.244C22 = C42.155D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.244C2^2320,1369
C4:Dic5.245C22 = C42.157D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.245C2^2320,1371
C4:Dic5.246C22 = C42.189D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.246C2^2320,1378
C4:Dic5.247C22 = C42.162D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.247C2^2320,1380
C4:Dic5.248C22 = C42.238D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.248C2^2320,1388
C4:Dic5.249C22 = C42.168D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.249C2^2320,1391
C4:Dic5.250C22 = D5xC4:Q8φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.250C2^2320,1395
C4:Dic5.251C22 = C42.241D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.251C2^2320,1400
C4:Dic5.252C22 = C42.174D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.252C2^2320,1401
C4:Dic5.253C22 = D20:9Q8φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.253C2^2320,1402
C4:Dic5.254C22 = C42.176D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.254C2^2320,1403
C4:Dic5.255C22 = C42.178D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.255C2^2320,1405
C4:Dic5.256C22 = C42.180D10φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.256C2^2320,1407
C4:Dic5.257C22 = Q8xC5:D4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.257C2^2320,1487
C4:Dic5.258C22 = C10.452- 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.258C2^2320,1489
C4:Dic5.259C22 = C10.1042- 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.259C2^2320,1496
C4:Dic5.260C22 = C10.1072- 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.260C2^2320,1503
C4:Dic5.261C22 = C10.1482+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic5160C4:Dic5.261C2^2320,1506
C4:Dic5.262C22 = C4xC40:C2φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.262C2^2320,318
C4:Dic5.263C22 = C4xD40φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.263C2^2320,319
C4:Dic5.264C22 = C4xDic20φ: C22/C2 → C2 ⊆ Out C4:Dic5320C4:Dic5.264C2^2320,325
C4:Dic5.265C22 = C42.16D10φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.265C2^2320,337
C4:Dic5.266C22 = D40:9C4φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.266C2^2320,338
C4:Dic5.267C22 = Dic20:9C4φ: C22/C2 → C2 ⊆ Out C4:Dic5320C4:Dic5.267C2^2320,343
C4:Dic5.268C22 = C23.34D20φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.268C2^2320,348
C4:Dic5.269C22 = C23.10D20φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.269C2^2320,350
C4:Dic5.270C22 = C23.38D20φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.270C2^2320,362
C4:Dic5.271C22 = C22.D40φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.271C2^2320,363
C4:Dic5.272C22 = C20:SD16φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.272C2^2320,468
C4:Dic5.273C22 = C4:D40φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.273C2^2320,470
C4:Dic5.274C22 = D20.19D4φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.274C2^2320,471
C4:Dic5.275C22 = C42.36D10φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.275C2^2320,472
C4:Dic5.276C22 = Dic10:8D4φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.276C2^2320,475
C4:Dic5.277C22 = C4:Dic20φ: C22/C2 → C2 ⊆ Out C4:Dic5320C4:Dic5.277C2^2320,476
C4:Dic5.278C22 = C2xC20.44D4φ: C22/C2 → C2 ⊆ Out C4:Dic5320C4:Dic5.278C2^2320,730
C4:Dic5.279C22 = C2xC40:6C4φ: C22/C2 → C2 ⊆ Out C4:Dic5320C4:Dic5.279C2^2320,731
C4:Dic5.280C22 = C2xC40:5C4φ: C22/C2 → C2 ⊆ Out C4:Dic5320C4:Dic5.280C2^2320,732
C4:Dic5.281C22 = C23.22D20φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.281C2^2320,733
C4:Dic5.282C22 = C23.23D20φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.282C2^2320,740
C4:Dic5.283C22 = C23.46D20φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.283C2^2320,747
C4:Dic5.284C22 = C23.47D20φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.284C2^2320,748
C4:Dic5.285C22 = C23.49D20φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.285C2^2320,760
C4:Dic5.286C22 = C2xC20:2Q8φ: C22/C2 → C2 ⊆ Out C4:Dic5320C4:Dic5.286C2^2320,1140
C4:Dic5.287C22 = C2xC20.6Q8φ: C22/C2 → C2 ⊆ Out C4:Dic5320C4:Dic5.287C2^2320,1141
C4:Dic5.288C22 = C42.274D10φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.288C2^2320,1142
C4:Dic5.289C22 = C42.276D10φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.289C2^2320,1149
C4:Dic5.290C22 = C42.277D10φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.290C2^2320,1151
C4:Dic5.291C22 = C2xDic5.Q8φ: C22/C2 → C2 ⊆ Out C4:Dic5320C4:Dic5.291C2^2320,1170
C4:Dic5.292C22 = C42.93D10φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.292C2^2320,1200
C4:Dic5.293C22 = C42.98D10φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.293C2^2320,1205
C4:Dic5.294C22 = C42.100D10φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.294C2^2320,1207
C4:Dic5.295C22 = C42.102D10φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.295C2^2320,1210
C4:Dic5.296C22 = C42.105D10φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.296C2^2320,1213
C4:Dic5.297C22 = C42.106D10φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.297C2^2320,1214
C4:Dic5.298C22 = Dic10:23D4φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.298C2^2320,1224
C4:Dic5.299C22 = Dic10:24D4φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.299C2^2320,1225
C4:Dic5.300C22 = C42.229D10φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.300C2^2320,1229
C4:Dic5.301C22 = C42.114D10φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.301C2^2320,1231
C4:Dic5.302C22 = C42.117D10φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.302C2^2320,1235
C4:Dic5.303C22 = C42.122D10φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.303C2^2320,1240
C4:Dic5.304C22 = Q8:5Dic10φ: C22/C2 → C2 ⊆ Out C4:Dic5320C4:Dic5.304C2^2320,1241
C4:Dic5.305C22 = Q8xD20φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.305C2^2320,1247
C4:Dic5.306C22 = Q8:5D20φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.306C2^2320,1248
C4:Dic5.307C22 = C42.232D10φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.307C2^2320,1250
C4:Dic5.308C22 = C42.131D10φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.308C2^2320,1252
C4:Dic5.309C22 = C42.132D10φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.309C2^2320,1253
C4:Dic5.310C22 = C10.362+ 1+4φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.310C2^2320,1275
C4:Dic5.311C22 = C10.152- 1+4φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.311C2^2320,1297
C4:Dic5.312C22 = C10.242- 1+4φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.312C2^2320,1315
C4:Dic5.313C22 = C10.852- 1+4φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.313C2^2320,1337
C4:Dic5.314C22 = C42.150D10φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.314C2^2320,1364
C4:Dic5.315C22 = C42.153D10φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.315C2^2320,1367
C4:Dic5.316C22 = C42.154D10φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.316C2^2320,1368
C4:Dic5.317C22 = C42.160D10φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.317C2^2320,1374
C4:Dic5.318C22 = C42.163D10φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.318C2^2320,1381
C4:Dic5.319C22 = C42.164D10φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.319C2^2320,1382
C4:Dic5.320C22 = C10.1052- 1+4φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.320C2^2320,1497
C4:Dic5.321C22 = C2xC10.D8φ: C22/C2 → C2 ⊆ Out C4:Dic5320C4:Dic5.321C2^2320,589
C4:Dic5.322C22 = C2xC20.Q8φ: C22/C2 → C2 ⊆ Out C4:Dic5320C4:Dic5.322C2^2320,590
C4:Dic5.323C22 = C20.47(C4:C4)φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.323C2^2320,591
C4:Dic5.324C22 = C20.64(C4:C4)φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.324C2^2320,622
C4:Dic5.325C22 = C20.76(C4:C4)φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.325C2^2320,625
C4:Dic5.326C22 = C4xD4:D5φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.326C2^2320,640
C4:Dic5.327C22 = C42.48D10φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.327C2^2320,641
C4:Dic5.328C22 = C4xD4.D5φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.328C2^2320,644
C4:Dic5.329C22 = C42.51D10φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.329C2^2320,645
C4:Dic5.330C22 = C4xQ8:D5φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.330C2^2320,652
C4:Dic5.331C22 = C42.56D10φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.331C2^2320,653
C4:Dic5.332C22 = C4xC5:Q16φ: C22/C2 → C2 ⊆ Out C4:Dic5320C4:Dic5.332C2^2320,656
C4:Dic5.333C22 = C42.59D10φ: C22/C2 → C2 ⊆ Out C4:Dic5320C4:Dic5.333C2^2320,657
C4:Dic5.334C22 = (C2xC10).D8φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.334C2^2320,660
C4:Dic5.335C22 = C4:D4.D5φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.335C2^2320,661
C4:Dic5.336C22 = (C2xD4).D10φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.336C2^2320,662
C4:Dic5.337C22 = C22:Q8.D5φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.337C2^2320,670
C4:Dic5.338C22 = (C2xC10).Q16φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.338C2^2320,671
C4:Dic5.339C22 = C10.(C4oD8)φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.339C2^2320,672
C4:Dic5.340C22 = C42.61D10φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.340C2^2320,681
C4:Dic5.341C22 = D20.23D4φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.341C2^2320,684
C4:Dic5.342C22 = Dic10.4Q8φ: C22/C2 → C2 ⊆ Out C4:Dic5320C4:Dic5.342C2^2320,690
C4:Dic5.343C22 = D20.4Q8φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.343C2^2320,693
C4:Dic5.344C22 = C20:2D8φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.344C2^2320,699
C4:Dic5.345C22 = Dic10:9D4φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.345C2^2320,702
C4:Dic5.346C22 = C20:5SD16φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.346C2^2320,710
C4:Dic5.347C22 = D20:5Q8φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.347C2^2320,711
C4:Dic5.348C22 = D20:6Q8φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.348C2^2320,714
C4:Dic5.349C22 = C20:Q16φ: C22/C2 → C2 ⊆ Out C4:Dic5320C4:Dic5.349C2^2320,717
C4:Dic5.350C22 = Dic10:5Q8φ: C22/C2 → C2 ⊆ Out C4:Dic5320C4:Dic5.350C2^2320,718
C4:Dic5.351C22 = Dic10:6Q8φ: C22/C2 → C2 ⊆ Out C4:Dic5320C4:Dic5.351C2^2320,721
C4:Dic5.352C22 = C2xQ8:Dic5φ: C22/C2 → C2 ⊆ Out C4:Dic5320C4:Dic5.352C2^2320,851
C4:Dic5.353C22 = (Q8xC10):16C4φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.353C2^2320,852
C4:Dic5.354C22 = C4oD4:Dic5φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.354C2^2320,859
C4:Dic5.355C22 = C20.(C2xD4)φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.355C2^2320,860
C4:Dic5.356C22 = C2xC20:Q8φ: C22/C2 → C2 ⊆ Out C4:Dic5320C4:Dic5.356C2^2320,1169
C4:Dic5.357C22 = C2xC4.Dic10φ: C22/C2 → C2 ⊆ Out C4:Dic5320C4:Dic5.357C2^2320,1171
C4:Dic5.358C22 = C10.12- 1+4φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.358C2^2320,1172
C4:Dic5.359C22 = C10.82+ 1+4φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.359C2^2320,1176
C4:Dic5.360C22 = C42.88D10φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.360C2^2320,1189
C4:Dic5.361C22 = C4xD4:2D5φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.361C2^2320,1208
C4:Dic5.362C22 = C42.108D10φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.362C2^2320,1218
C4:Dic5.363C22 = C42.228D10φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.363C2^2320,1220
C4:Dic5.364C22 = C42.116D10φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.364C2^2320,1234
C4:Dic5.365C22 = C4xQ8xD5φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.365C2^2320,1243
C4:Dic5.366C22 = C42.125D10φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.366C2^2320,1244
C4:Dic5.367C22 = C4xQ8:2D5φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.367C2^2320,1245
C4:Dic5.368C22 = C42.126D10φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.368C2^2320,1246
C4:Dic5.369C22 = C42.133D10φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.369C2^2320,1254
C4:Dic5.370C22 = C42.134D10φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.370C2^2320,1255
C4:Dic5.371C22 = C10.732- 1+4φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.371C2^2320,1283
C4:Dic5.372C22 = C10.432+ 1+4φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.372C2^2320,1286
C4:Dic5.373C22 = C10.452+ 1+4φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.373C2^2320,1288
C4:Dic5.374C22 = C10.1182+ 1+4φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.374C2^2320,1307
C4:Dic5.375C22 = C10.212- 1+4φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.375C2^2320,1311
C4:Dic5.376C22 = C10.232- 1+4φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.376C2^2320,1313
C4:Dic5.377C22 = Dic10:10D4φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.377C2^2320,1349
C4:Dic5.378C22 = Dic10:7Q8φ: C22/C2 → C2 ⊆ Out C4:Dic5320C4:Dic5.378C2^2320,1357
C4:Dic5.379C22 = D20:7Q8φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.379C2^2320,1362
C4:Dic5.380C22 = C42.166D10φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.380C2^2320,1385
C4:Dic5.381C22 = Dic10:11D4φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.381C2^2320,1390
C4:Dic5.382C22 = Dic10:8Q8φ: C22/C2 → C2 ⊆ Out C4:Dic5320C4:Dic5.382C2^2320,1393
C4:Dic5.383C22 = Dic10:9Q8φ: C22/C2 → C2 ⊆ Out C4:Dic5320C4:Dic5.383C2^2320,1394
C4:Dic5.384C22 = D20:12D4φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.384C2^2320,1398
C4:Dic5.385C22 = D20:8Q8φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.385C2^2320,1399
C4:Dic5.386C22 = C42.177D10φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.386C2^2320,1404
C4:Dic5.387C22 = C42.179D10φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.387C2^2320,1406
C4:Dic5.388C22 = C2xQ8xDic5φ: C22/C2 → C2 ⊆ Out C4:Dic5320C4:Dic5.388C2^2320,1483
C4:Dic5.389C22 = C10.422- 1+4φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.389C2^2320,1484
C4:Dic5.390C22 = C10.442- 1+4φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.390C2^2320,1488
C4:Dic5.391C22 = C4oD4xDic5φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.391C2^2320,1498
C4:Dic5.392C22 = C10.1062- 1+4φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.392C2^2320,1499
C4:Dic5.393C22 = C10.1472+ 1+4φ: C22/C2 → C2 ⊆ Out C4:Dic5160C4:Dic5.393C2^2320,1505
C4:Dic5.394C22 = C2xC4xDic10φ: trivial image320C4:Dic5.394C2^2320,1139
C4:Dic5.395C22 = C4xC4oD20φ: trivial image160C4:Dic5.395C2^2320,1146
C4:Dic5.396C22 = C42.87D10φ: trivial image160C4:Dic5.396C2^2320,1188
C4:Dic5.397C22 = C42.91D10φ: trivial image160C4:Dic5.397C2^2320,1195
C4:Dic5.398C22 = C42.119D10φ: trivial image160C4:Dic5.398C2^2320,1237
C4:Dic5.399C22 = Q8:6D20φ: trivial image160C4:Dic5.399C2^2320,1249
C4:Dic5.400C22 = C42.135D10φ: trivial image160C4:Dic5.400C2^2320,1256
C4:Dic5.401C22 = C42.136D10φ: trivial image160C4:Dic5.401C2^2320,1257

׿
x
:
Z
F
o
wr
Q
<